1. Applied Semantics
پدیدآورنده : \ [edited by] Gilles Barthe...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a03,a03
رده :
E-Book
,
2. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures
پدیدآورنده : Gilles Barthe...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2395
3. April 3, 2011. Proceedingsع۰بcken, Germany, March 26Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr
پدیدآورنده : / Andrew W. Appel (auth.), Gilles Barthe (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
4. Construction and analysis of safe, secure, and interoperable smart devices :
پدیدآورنده : / Gilles Barthe ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Smart cards , Security measures , Congresses,Data transmission systems , Security measures , Congresses
رده :
E-BOOK
5. Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers
پدیدآورنده : Gilles Barthe...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Security measures -- Congresses ، Smart cards,Security measures -- Congresses ، Data transmission systems
رده :
QA
76
.
L28
Vol
.
3362
6. Engineering Secure Software and Systems
پدیدآورنده : / Gilles Barthe, Benjamin Livshits, Riccardo Scandariato
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
7. Engineering secure software and systems
پدیدآورنده : Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses,Computer security, Congresses,Data encryption (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
A25
E54
2011eb
8. Formal Aspects of Security and Trust
پدیدآورنده : / Gilles Barthe, Anupam Datta, Sandro Etalle
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
9. Formal Aspects of Security and Trust :
پدیدآورنده : edited by Gilles Barthe, Anupam Datta, Sandro Etalle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Data protection.
10. 18, 2011. Proceedings-Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14
پدیدآورنده : / Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
11. Programming Languages and Systems
پدیدآورنده : / Gilles Barthe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
12. Programming languages and systems :
پدیدآورنده : Gilles Barthe (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
E97
2011
13. 24, 2010, Revised Selected Papers-Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23
پدیدآورنده : / Jason Crampton, Charles Morisset (auth.), Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
14. Security and Trust Management
پدیدآورنده : / Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
15. Software Engineering and Formal Methods
پدیدآورنده : / Gilles Barthe, Alberto Pardo, Gerardo Schneider
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
16. Software engineering and formal methods :
پدیدآورنده : Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
758
.
I58
2011
17. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : / Gilles Barthe, Manuel Hermenegildo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
